Iterated Revision in Default Logic

نویسندگان

  • Shuang Ren
  • Guilin Qi
  • Zuoquan Lin
چکیده

Default logic is supposed to reason with static and consistent default theory, i.e., it can not deal with inconsistencies arising in the situation that an agent receives a sequence of information represented by default theories. To overcome the problem, revision operators for revising default theories have been investigated by many researchers. But none of them has discussed the postulates which are desirable to be satisfied by the operators for revision of default theories, especially the operators for iterated revision. In this paper, we reformulate the existing postulates for belief revision and iterated belief revision to default logic, and show that some of the reformulated postulates are rational to govern the process of revising default theories while others are not. A representation theorem for those reasonable postulates is provided.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Three Scenarios for the Revision of Epistemic States

This position paper discusses the difficulty of interpreting iterated belief revision in the scope of the existing literature. Axioms of iterated belief revision are often presented as extensions of the AGM axioms, upon receiving a sequence of inputs. More recent inputs are assumed to have priority over less recent ones. We argue that this view of iterated revision is at odds with the claim, ma...

متن کامل

Belief Change in Branching Time: AGM-consistency and Iterated Revision

We study belief change in the branching-time structures introduced in [4]. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision ...

متن کامل

A Semantic Approach for Iterated Revision in Possibilistic Logic

In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for revision is too strong to define a practical one-step revision operator and some of them should be weakened. We then present a semantic approach for iterated revision in possibilistic logic using a one-step revision oper...

متن کامل

A Conditional Logic for Iterated Belief Revision

In this paper we propose a conditional logic IBC to represent iterated belief revision. We define an iterated belief revision system by strengthening the postulates proposed by Darwiche and Pearl [3]. First, following the line of Darwiche and Pearl, we modify AGM postulates to make belief revision a function of epistemic states rather than of belief sets. Then we propose a set of postulates for...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009